Lógica de descripción

Lógica de descripción
Las Lógicas de Descripción (DL por Description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de aplicación de una forma estructurada y formalmente bien comprendida. El nombre lógica de descripción se refiere, por un lado, a descripciones de conceptos usadas para describir un dominio y, por otro lado, a la semántica basada en la lógica que puede dar una traducción en lógica de predicados de primer orden. (DL) se diseñó como una extensión de frames (marcos) y redes semánticas, los cuales no estaban equipados con semántica basada en la lógica.

Enciclopedia Universal. 2012.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Lógica de descripción — Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de… …   Wikipedia Español

  • Lógica (desambiguación) — Saltar a navegación, búsqueda Lógica libre Lógica aristotélica Lógica binaria Lógica bivalente Lógica combinatoria Lógica computacional Lógica de control Lógica de descripción Lógica de primer orden Lógica de segundo orden Lógica deóntica Lógica… …   Wikipedia Español

  • Lógica programada — Logica programada es lo contrario de la lógica cableada, es decir, este tipo de diseño permite utilizar un circuito o un proyecto para muchas otras funciones con el simple cambio del software que incorpora. La lógica programada se basa en… …   Wikipedia Español

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

  • Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

  • Interacción lógica — La noción matemática de «  interacción lógica  », concebida como generalización de la de «  interacción », nacido del Diseño de Experimentos, ha sido introducida a finales de los años 1990. Primero utilizada en análisis de los …   Wikipedia Español

  • Suma de lógica — La Summa logicae o Suma de lógica es un libro de texto de lógica escrito por Guillermo de Ockham. A partir de la teoría de la inferencia que le sirve de hilo conductor, describe y desarrolla la lógica del silogismo. Fue escrito antes de 1327 y… …   Wikipedia Español

  • Familia Lógica HTL — HTL (High Treshold Logic, Lógica de alto umbral) es una tecnología desarrollada a partir de la tecnología DTL (Diode Transistor Logic, lógica diodo transistor), pertenece a la familia de circuitos integrados bipolares. Descripción Es una variante …   Wikipedia Español

  • Web semántica — La Web semántica o Web 3.0 (del inglés semantic web) es la Web de los datos ...[1] Se basa en la idea de añadir metadatos semánticos y ontológicos a la World Wide Web. Esas informaciones adicionales que describen el contenido, el significado y la …   Wikipedia Español

  • Almacén de datos — Descripción de un Data Warehouse. En el contexto de la informática, un almacén de datos (del inglés data warehouse) es una colección de datos orientada a un determinado ámbito (empresa, organización, etc.), integrado, no volátil y variable en el… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”